%verify "executed"
    SMP_DMB
    b         common_returnFromMethod
